1. Adaptive Systems II-Software Engineering for Self
Author: / ller, Mary Shawیrio Lemos, Holger Giese, Hausi A. MفRog
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
Classification :
E-BOOK
2. Architecting Critical Systems
Author: / Holger Giese
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, INFORMATION TECHNOLOGY
Classification :
E-BOOK
3. Architecting critical system
Author: / Holger Giese (ed.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computer architecture--Congresses,Computer systems--Reliability--Congresses,Fault-tolerant computing--Congresses
Classification :
QA
,
76
.
8
,.
A73
4. Architecting critical systems
Author: / Holger Giese (ed.
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Fault-tolerant computing, Congresses,Computer architecture, Congresses,System design, Congresses,Software engineering, Congresses
Classification :
QA76
.
9
.
F38I83
2010
5. Formal Techniques for Distributed Systems
Author: / Holger Giese, Grigore Rosu
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, SOFTWARE ENGINEERING
Classification :
E-BOOK
6. Formal techniques for distributed systems :
Author: Holger Giese, Grigore Rosu (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Distributed operating systems (Computers) -- Congresses.,Formal methods (Computer science) -- Congresses.,software engineering.
7. Model-based engineering of embedded real-time systems
Author: Holger Giese ... [et al.] (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Embedded computer systems, Congresses,Software engineering, Congresses
8. Model-based engineering of embedded real-time systems
Author: [edited by]& Holger Giese, Gabor Karsai, Edward Lee
Library: Central Library and Information Center of Shahed University (Tehran)
Subject:
9. Model-based engineering of embedded real-time systems. international Dagstuhl workshop, Dagstuhl Castle, Germany, November 4-9, 2007 : revised selected papers
Author: Holger Giese ... ]et al.[
Library: Library of Razi Metallurgical Research Center (Tehran)
Subject: ، Embedded computer systems Congresses,، Software engineering Congresses,، Echtzeitsystem.$2 swd,، Eingebettetes System.$2 swd,، Modellgetriebene Entwicklung.$2 swd,، Entwurfssprache.$2 swd,، Requirements engineering.$2 swd,، Zuverlossigkeit.$2 swd,، Dagstuhl <7002>$2 swd,، Kongress.$z dagstuhl <7002>$2 swd
Classification :
TK
7895
.
E42M624
2007
10. 25, 2010 Proceedings-Architecting Critical Systems: First International Symposium, ISARCS 2010, Prague, Czech Republic, June 23
Author: / Vittorio Cortellessa, Catia Trubiani, Leonardo Mostarda, Naranker Dulay (auth.), Holger Giese (eds.)
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: ENGINEERING (uncategorised)&COMPUTER SCIENCE
Classification :
E-BOOK
11. 16, 2012. Proceedings-Formal Techniques for Distributed Systems: Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13
Author: / Michael Lienhardt, Ivan Lanese (auth.), Holger Giese, Grigore Rosu (eds.)
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: ARCHITECTURE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY&COMPUTER SCIENCE, HARDWARE
Classification :
E-BOOK
